Procedural programming languages - PDFSEARCH.IO - Document Search Engine

Procedural programming languages
Results: 6378

#	Item
211	The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010 Add to Reading List Source URL: hasp.cs.pdx.edu Language: English - Date: 2011-02-16 17:13:08 Functional languages Functional programming Data types Type theory Procedural programming languages Haskell Syntax Monad Type system ML Programming language Type class
212	___________________________________ ___________________________________________________________________________________________________________________________________________ 0 ___________________________________ Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-10-03 14:24:46 Software engineering Computing Programming language theory Procedural programming languages Object-oriented programming languages Cross-platform software Andrew Koenig C C++ Cfront Ada Dennis Ritchie
213	Andrew M. Kent Contact Information Lindley Hall 215 Indiana University Add to Reading List Source URL: andmkent.com Language: English - Date: 2016-02-14 16:25:01 Software engineering Programming language theory Computing Procedural programming languages Functional languages Gradual typing Type system Programming language Racket ALGOL 68 Io Association for Computing Machinery
214	Ownership, Experience and Defects: A fine-grained study of Authorship Foyzur Rahman and Premkumar Devanbu Department of Computer Science University of California, Davis, USA Add to Reading List Source URL: macbeth.cs.ucdavis.edu Language: English - Date: 2011-04-01 01:35:35 Software Computing Source code Software development process Version control systems Procedural programming languages Technical communication Version control Software quality Software bug Open-source software Source lines of code
215	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
216	Feature Factory: A Crowd Sourced Approach to Variable Discovery From Linked Data Kiarash Adl Advisor: Kalyan Veeramachaneni, Any Scale Learning for All Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-01-14 20:39:53 Education Computing Software engineering Procedural programming languages Big data Data management Technology forecasting Transaction processing Crowdsourcing Deep learning Database Massive open online course
217	Modern Perl 4th edition chromatic Modern Perl 4th edition Add to Reading List Source URL: onyxneon.com Language: English Procedural programming languages Cross-platform software Object-oriented programming languages High-level programming languages Subroutines Perl Scope Chromatic Autovivification ALGOL 68 First-class function Namespace
218	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
219	Archibald Samuel Elliott Computer Science PhD Student: Programming Languages Research Interests I’m particularly interested in Type-directed Program Synthesis. Program Synthesis is a method by which we devise methods t Add to Reading List Source URL: lenary.co.uk Language: English - Date: 2016-03-31 14:23:30 Computing Software engineering Computer programming Concurrent programming languages Functional languages Cloud infrastructure NoSQL Procedural programming languages Erlang Basho Technologies Functional programming Concurrent computing
220	SPECIALISING DYNAMIC TECHNIQUES FOR IMPLEMENTING THE RUBY PROGRAMMING LANGUAGE A thesis submitted to the University of Manchester Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-03-13 17:14:38 Object-oriented programming languages Scripting languages Procedural programming languages Cross-platform software Concurrent programming languages JRuby Ruby Metaprogramming D Go Scala Nu

UPDATE